λ Functional Programming - jinkai_lau · Scour

Accelerate 📊Benchmarking

github.com·4d·Hacker News

Understanding the Garbage Collector 🦀Rust

ocaml.org·1d·Hacker News

The Mercury Project: Home ✍️Prompt Engineering

mercurylang.org·3h

Open-sourcing ShipReq – a requirements platform written in FP Scala/Scala.js ✅Dev Best Practices

gist.github.com·2d·Hacker News, r/functionalprogramming

I'm not mutable, I'm partially instantiated ✅Formal Verification

news.ycombinator.com·4d·Hacker News

Books and Links: October ✍️Prompt Engineering

evantravers.com·1d

Haskell Foundation 2026 Update 🗣️New Languages

discourse.haskell.org·14h·Lobsters, Hacker News

Scheme Interpreter ✅Formal Verification

cs61a.org·36m·Hacker News

Data Analysis with Vector Functional Programming (2016) [video] 🔍Static Analysis

youtube.com·3d·Hacker News

Humble Tech Book Bundle: The Ultimate Functional Programming by Pragmatic Programmers 🔬eBPF

humblebundle.com·1d·Hacker News

Training a small model to write better OCaml with RLVR and GRPO 🧠LLMs

blog.nilenso.com·9h·Hacker News

SwiftUI is functional (bobkonf2026) ☸️Kubernetes

cdn.media.ccc.de·1d

[2605.21337] Multicategorical Semantics for Untyped Effects 🔤Type Systems

10mm Auto - $26.99/50 (Selway Armory) 🔐Supply Chain Security

gun-deals.com·10h

Just released: the library announced in Anthony Williams Meeting C++ 2025 opening keynote 🔤Type Systems

meetingcpp.com·1d

Profunctor Equipment in Haskell 🔍Static Analysis

bartoszmilewski.com·4d·Hacker News

Null Pointers Have Been Killing Software for 60 Years 🔍Static Analysis

siliconopera.com·19h

BoxLang v1.13.0: Compatibility, Concurrency, and Formatter Maturity 🗣️New Languages

Career advice needed - 6 YoE - Mid-career infra/cloud engineer feeling stuck between traditional ops and modern DevOps 🌐Networking

cdac.in·3d·r/sysadmin

Geblang – I built my own programming language 🗣️New Languages

davegebler.com·2d·Hacker News

Log in to enable infinite scrolling